prog def addtex
*
* call: addtex [filename]  (must be new name, gph requirement) 
*
	if "`1'"=="" { gph open }
	else         { gph open , saving(`1') } 
	gr
	hlTex
	gph close
end
